3.81 \(\int \frac{e^{-a-b x} (a+b x)^4}{(c+d x)^4} \, dx\)
Optimal. Leaf size=396 \[ -\frac{b^3 e^{\frac{b c}{d}-a} (b c-a d)^4 \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{6 d^8}-\frac{2 b^3 e^{\frac{b c}{d}-a} (b c-a d)^3 \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^7}-\frac{6 b^3 e^{\frac{b c}{d}-a} (b c-a d)^2 \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^6}-\frac{4 b^3 e^{\frac{b c}{d}-a} (b c-a d) \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^5}-\frac{b^2 e^{-a-b x} (b c-a d)^4}{6 d^7 (c+d x)}-\frac{2 b^2 e^{-a-b x} (b c-a d)^3}{d^6 (c+d x)}-\frac{6 b^2 e^{-a-b x} (b c-a d)^2}{d^5 (c+d x)}-\frac{b^3 e^{-a-b x}}{d^4}+\frac{b e^{-a-b x} (b c-a d)^4}{6 d^6 (c+d x)^2}-\frac{e^{-a-b x} (b c-a d)^4}{3 d^5 (c+d x)^3}+\frac{2 b e^{-a-b x} (b c-a d)^3}{d^5 (c+d x)^2} \]
[Out]
-((b^3*E^(-a - b*x))/d^4) - ((b*c - a*d)^4*E^(-a - b*x))/(3*d^5*(c + d*x)^3) + (2*b*(b*c - a*d)^3*E^(-a - b*x)
)/(d^5*(c + d*x)^2) + (b*(b*c - a*d)^4*E^(-a - b*x))/(6*d^6*(c + d*x)^2) - (6*b^2*(b*c - a*d)^2*E^(-a - b*x))/
(d^5*(c + d*x)) - (2*b^2*(b*c - a*d)^3*E^(-a - b*x))/(d^6*(c + d*x)) - (b^2*(b*c - a*d)^4*E^(-a - b*x))/(6*d^7
*(c + d*x)) - (4*b^3*(b*c - a*d)*E^(-a + (b*c)/d)*ExpIntegralEi[-((b*(c + d*x))/d)])/d^5 - (6*b^3*(b*c - a*d)^
2*E^(-a + (b*c)/d)*ExpIntegralEi[-((b*(c + d*x))/d)])/d^6 - (2*b^3*(b*c - a*d)^3*E^(-a + (b*c)/d)*ExpIntegralE
i[-((b*(c + d*x))/d)])/d^7 - (b^3*(b*c - a*d)^4*E^(-a + (b*c)/d)*ExpIntegralEi[-((b*(c + d*x))/d)])/(6*d^8)
________________________________________________________________________________________
Rubi [A] time = 0.520858, antiderivative size = 396, normalized size of antiderivative = 1.,
number of steps used = 13, number of rules used = 4, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.16, Rules used =
{2199, 2194, 2177, 2178} \[ -\frac{b^3 e^{\frac{b c}{d}-a} (b c-a d)^4 \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{6 d^8}-\frac{2 b^3 e^{\frac{b c}{d}-a} (b c-a d)^3 \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^7}-\frac{6 b^3 e^{\frac{b c}{d}-a} (b c-a d)^2 \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^6}-\frac{4 b^3 e^{\frac{b c}{d}-a} (b c-a d) \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^5}-\frac{b^2 e^{-a-b x} (b c-a d)^4}{6 d^7 (c+d x)}-\frac{2 b^2 e^{-a-b x} (b c-a d)^3}{d^6 (c+d x)}-\frac{6 b^2 e^{-a-b x} (b c-a d)^2}{d^5 (c+d x)}-\frac{b^3 e^{-a-b x}}{d^4}+\frac{b e^{-a-b x} (b c-a d)^4}{6 d^6 (c+d x)^2}-\frac{e^{-a-b x} (b c-a d)^4}{3 d^5 (c+d x)^3}+\frac{2 b e^{-a-b x} (b c-a d)^3}{d^5 (c+d x)^2} \]
Antiderivative was successfully verified.
[In]
Int[(E^(-a - b*x)*(a + b*x)^4)/(c + d*x)^4,x]
[Out]
-((b^3*E^(-a - b*x))/d^4) - ((b*c - a*d)^4*E^(-a - b*x))/(3*d^5*(c + d*x)^3) + (2*b*(b*c - a*d)^3*E^(-a - b*x)
)/(d^5*(c + d*x)^2) + (b*(b*c - a*d)^4*E^(-a - b*x))/(6*d^6*(c + d*x)^2) - (6*b^2*(b*c - a*d)^2*E^(-a - b*x))/
(d^5*(c + d*x)) - (2*b^2*(b*c - a*d)^3*E^(-a - b*x))/(d^6*(c + d*x)) - (b^2*(b*c - a*d)^4*E^(-a - b*x))/(6*d^7
*(c + d*x)) - (4*b^3*(b*c - a*d)*E^(-a + (b*c)/d)*ExpIntegralEi[-((b*(c + d*x))/d)])/d^5 - (6*b^3*(b*c - a*d)^
2*E^(-a + (b*c)/d)*ExpIntegralEi[-((b*(c + d*x))/d)])/d^6 - (2*b^3*(b*c - a*d)^3*E^(-a + (b*c)/d)*ExpIntegralE
i[-((b*(c + d*x))/d)])/d^7 - (b^3*(b*c - a*d)^4*E^(-a + (b*c)/d)*ExpIntegralEi[-((b*(c + d*x))/d)])/(6*d^8)
Rule 2199
Int[(F_)^((c_.)*(v_))*(u_)^(m_.)*(w_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), w*NormalizePo
werOfLinear[u, x]^m, x], x] /; FreeQ[{F, c}, x] && PolynomialQ[w, x] && LinearQ[v, x] && PowerOfLinearQ[u, x]
&& IntegerQ[m] && !$UseGamma === True
Rule 2194
Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]
Rule 2177
Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_), x_Symbol] :> Simp[((c + d*x)^(m
+ 1)*(b*F^(g*(e + f*x)))^n)/(d*(m + 1)), x] - Dist[(f*g*n*Log[F])/(d*(m + 1)), Int[(c + d*x)^(m + 1)*(b*F^(g*
(e + f*x)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && LtQ[m, -1] && IntegerQ[2*m] && !$UseGamma ===
True
Rule 2178
Int[(F_)^((g_.)*((e_.) + (f_.)*(x_)))/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[(F^(g*(e - (c*f)/d))*ExpIntegral
Ei[(f*g*(c + d*x)*Log[F])/d])/d, x] /; FreeQ[{F, c, d, e, f, g}, x] && !$UseGamma === True
Rubi steps
\begin{align*} \int \frac{e^{-a-b x} (a+b x)^4}{(c+d x)^4} \, dx &=\int \left (\frac{b^4 e^{-a-b x}}{d^4}+\frac{(-b c+a d)^4 e^{-a-b x}}{d^4 (c+d x)^4}-\frac{4 b (b c-a d)^3 e^{-a-b x}}{d^4 (c+d x)^3}+\frac{6 b^2 (b c-a d)^2 e^{-a-b x}}{d^4 (c+d x)^2}-\frac{4 b^3 (b c-a d) e^{-a-b x}}{d^4 (c+d x)}\right ) \, dx\\ &=\frac{b^4 \int e^{-a-b x} \, dx}{d^4}-\frac{\left (4 b^3 (b c-a d)\right ) \int \frac{e^{-a-b x}}{c+d x} \, dx}{d^4}+\frac{\left (6 b^2 (b c-a d)^2\right ) \int \frac{e^{-a-b x}}{(c+d x)^2} \, dx}{d^4}-\frac{\left (4 b (b c-a d)^3\right ) \int \frac{e^{-a-b x}}{(c+d x)^3} \, dx}{d^4}+\frac{(b c-a d)^4 \int \frac{e^{-a-b x}}{(c+d x)^4} \, dx}{d^4}\\ &=-\frac{b^3 e^{-a-b x}}{d^4}-\frac{(b c-a d)^4 e^{-a-b x}}{3 d^5 (c+d x)^3}+\frac{2 b (b c-a d)^3 e^{-a-b x}}{d^5 (c+d x)^2}-\frac{6 b^2 (b c-a d)^2 e^{-a-b x}}{d^5 (c+d x)}-\frac{4 b^3 (b c-a d) e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^5}-\frac{\left (6 b^3 (b c-a d)^2\right ) \int \frac{e^{-a-b x}}{c+d x} \, dx}{d^5}+\frac{\left (2 b^2 (b c-a d)^3\right ) \int \frac{e^{-a-b x}}{(c+d x)^2} \, dx}{d^5}-\frac{\left (b (b c-a d)^4\right ) \int \frac{e^{-a-b x}}{(c+d x)^3} \, dx}{3 d^5}\\ &=-\frac{b^3 e^{-a-b x}}{d^4}-\frac{(b c-a d)^4 e^{-a-b x}}{3 d^5 (c+d x)^3}+\frac{2 b (b c-a d)^3 e^{-a-b x}}{d^5 (c+d x)^2}+\frac{b (b c-a d)^4 e^{-a-b x}}{6 d^6 (c+d x)^2}-\frac{6 b^2 (b c-a d)^2 e^{-a-b x}}{d^5 (c+d x)}-\frac{2 b^2 (b c-a d)^3 e^{-a-b x}}{d^6 (c+d x)}-\frac{4 b^3 (b c-a d) e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^5}-\frac{6 b^3 (b c-a d)^2 e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^6}-\frac{\left (2 b^3 (b c-a d)^3\right ) \int \frac{e^{-a-b x}}{c+d x} \, dx}{d^6}+\frac{\left (b^2 (b c-a d)^4\right ) \int \frac{e^{-a-b x}}{(c+d x)^2} \, dx}{6 d^6}\\ &=-\frac{b^3 e^{-a-b x}}{d^4}-\frac{(b c-a d)^4 e^{-a-b x}}{3 d^5 (c+d x)^3}+\frac{2 b (b c-a d)^3 e^{-a-b x}}{d^5 (c+d x)^2}+\frac{b (b c-a d)^4 e^{-a-b x}}{6 d^6 (c+d x)^2}-\frac{6 b^2 (b c-a d)^2 e^{-a-b x}}{d^5 (c+d x)}-\frac{2 b^2 (b c-a d)^3 e^{-a-b x}}{d^6 (c+d x)}-\frac{b^2 (b c-a d)^4 e^{-a-b x}}{6 d^7 (c+d x)}-\frac{4 b^3 (b c-a d) e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^5}-\frac{6 b^3 (b c-a d)^2 e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^6}-\frac{2 b^3 (b c-a d)^3 e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^7}-\frac{\left (b^3 (b c-a d)^4\right ) \int \frac{e^{-a-b x}}{c+d x} \, dx}{6 d^7}\\ &=-\frac{b^3 e^{-a-b x}}{d^4}-\frac{(b c-a d)^4 e^{-a-b x}}{3 d^5 (c+d x)^3}+\frac{2 b (b c-a d)^3 e^{-a-b x}}{d^5 (c+d x)^2}+\frac{b (b c-a d)^4 e^{-a-b x}}{6 d^6 (c+d x)^2}-\frac{6 b^2 (b c-a d)^2 e^{-a-b x}}{d^5 (c+d x)}-\frac{2 b^2 (b c-a d)^3 e^{-a-b x}}{d^6 (c+d x)}-\frac{b^2 (b c-a d)^4 e^{-a-b x}}{6 d^7 (c+d x)}-\frac{4 b^3 (b c-a d) e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^5}-\frac{6 b^3 (b c-a d)^2 e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^6}-\frac{2 b^3 (b c-a d)^3 e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{d^7}-\frac{b^3 (b c-a d)^4 e^{-a+\frac{b c}{d}} \text{Ei}\left (-\frac{b (c+d x)}{d}\right )}{6 d^8}\\ \end{align*}
Mathematica [A] time = 0.807385, size = 389, normalized size = 0.98 \[ \frac{e^{-a} \left (b^3 e^{\frac{b c}{d}} \left (-\left (6 \left (a^2-6 a+6\right ) b^2 c^2 d^2-4 \left (a^3-9 a^2+18 a-6\right ) b c d^3+a \left (a^3-12 a^2+36 a-24\right ) d^4-4 (a-3) b^3 c^3 d+b^4 c^4\right )\right ) \text{Ei}\left (-\frac{b (c+d x)}{d}\right )-\frac{d e^{-b x} \left (2 b^4 c^2 d^2 \left (\left (3 a^2-16 a+13\right ) c^2+2 \left (3 a^2-17 a+15\right ) c d x+3 \left (a^2-6 a+6\right ) d^2 x^2\right )+2 b^3 d^3 \left (\left (-4 a^3+33 a^2-54 a+9\right ) c^2 d x+\left (-2 a^3+15 a^2-22 a+3\right ) c^3+\left (-2 a^3+18 a^2-36 a+9\right ) c d^2 x^2+3 d^3 x^3\right )+a^2 b^2 d^4 \left (\left (a^2-8 a+12\right ) c^2+2 \left (a^2-10 a+18\right ) c d x+(a-6)^2 d^2 x^2\right )-a^3 b d^5 ((a-4) c+(a-12) d x)+2 a^4 d^6-b^5 c^3 d (c+d x) ((4 a-11) c+4 (a-3) d x)+b^6 c^4 (c+d x)^2\right )}{(c+d x)^3}\right )}{6 d^8} \]
Antiderivative was successfully verified.
[In]
Integrate[(E^(-a - b*x)*(a + b*x)^4)/(c + d*x)^4,x]
[Out]
(-((d*(2*a^4*d^6 + b^6*c^4*(c + d*x)^2 - a^3*b*d^5*((-4 + a)*c + (-12 + a)*d*x) - b^5*c^3*d*(c + d*x)*((-11 +
4*a)*c + 4*(-3 + a)*d*x) + a^2*b^2*d^4*((12 - 8*a + a^2)*c^2 + 2*(18 - 10*a + a^2)*c*d*x + (-6 + a)^2*d^2*x^2)
+ 2*b^4*c^2*d^2*((13 - 16*a + 3*a^2)*c^2 + 2*(15 - 17*a + 3*a^2)*c*d*x + 3*(6 - 6*a + a^2)*d^2*x^2) + 2*b^3*d
^3*((3 - 22*a + 15*a^2 - 2*a^3)*c^3 + (9 - 54*a + 33*a^2 - 4*a^3)*c^2*d*x + (9 - 36*a + 18*a^2 - 2*a^3)*c*d^2*
x^2 + 3*d^3*x^3)))/(E^(b*x)*(c + d*x)^3)) - b^3*(b^4*c^4 - 4*(-3 + a)*b^3*c^3*d + 6*(6 - 6*a + a^2)*b^2*c^2*d^
2 - 4*(-6 + 18*a - 9*a^2 + a^3)*b*c*d^3 + a*(-24 + 36*a - 12*a^2 + a^3)*d^4)*E^((b*c)/d)*ExpIntegralEi[-((b*(c
+ d*x))/d)])/(6*d^8*E^a)
________________________________________________________________________________________
Maple [A] time = 0.013, size = 511, normalized size = 1.3 \begin{align*} -{\frac{1}{b} \left ({\frac{{b}^{4}{{\rm e}^{-bx-a}}}{{d}^{4}}}-4\,{\frac{ \left ({a}^{3}{d}^{3}-3\,{a}^{2}bc{d}^{2}+3\,a{b}^{2}{c}^{2}d-{b}^{3}{c}^{3} \right ){b}^{4}}{{d}^{7}} \left ( -1/2\,{{{\rm e}^{-bx-a}} \left ( -bx-a+{\frac{ad-bc}{d}} \right ) ^{-2}}-1/2\,{{{\rm e}^{-bx-a}} \left ( -bx-a+{\frac{ad-bc}{d}} \right ) ^{-1}}-1/2\,{{\rm e}^{-{\frac{ad-bc}{d}}}}{\it Ei} \left ( 1,bx+a-{\frac{ad-bc}{d}} \right ) \right ) }+4\,{\frac{ \left ( ad-bc \right ){b}^{4}}{{d}^{5}}{{\rm e}^{-{\frac{ad-bc}{d}}}}{\it Ei} \left ( 1,bx+a-{\frac{ad-bc}{d}} \right ) }+{\frac{ \left ({a}^{4}{d}^{4}-4\,{a}^{3}bc{d}^{3}+6\,{a}^{2}{b}^{2}{c}^{2}{d}^{2}-4\,a{b}^{3}{c}^{3}d+{b}^{4}{c}^{4} \right ){b}^{4}}{{d}^{8}} \left ( -{\frac{{{\rm e}^{-bx-a}}}{3} \left ( -bx-a+{\frac{ad-bc}{d}} \right ) ^{-3}}-{\frac{{{\rm e}^{-bx-a}}}{6} \left ( -bx-a+{\frac{ad-bc}{d}} \right ) ^{-2}}-{\frac{{{\rm e}^{-bx-a}}}{6} \left ( -bx-a+{\frac{ad-bc}{d}} \right ) ^{-1}}-{\frac{1}{6}{{\rm e}^{-{\frac{ad-bc}{d}}}}{\it Ei} \left ( 1,bx+a-{\frac{ad-bc}{d}} \right ) } \right ) }+6\,{\frac{ \left ({a}^{2}{d}^{2}-2\,abcd+{b}^{2}{c}^{2} \right ){b}^{4}}{{d}^{6}} \left ( -{{{\rm e}^{-bx-a}} \left ( -bx-a+{\frac{ad-bc}{d}} \right ) ^{-1}}-{{\rm e}^{-{\frac{ad-bc}{d}}}}{\it Ei} \left ( 1,bx+a-{\frac{ad-bc}{d}} \right ) \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(exp(-b*x-a)*(b*x+a)^4/(d*x+c)^4,x)
[Out]
-1/b*(b^4/d^4*exp(-b*x-a)-4/d^7*(a^3*d^3-3*a^2*b*c*d^2+3*a*b^2*c^2*d-b^3*c^3)*b^4*(-1/2*exp(-b*x-a)/(-b*x-a+(a
*d-b*c)/d)^2-1/2*exp(-b*x-a)/(-b*x-a+(a*d-b*c)/d)-1/2*exp(-(a*d-b*c)/d)*Ei(1,b*x+a-(a*d-b*c)/d))+4/d^5*(a*d-b*
c)*b^4*exp(-(a*d-b*c)/d)*Ei(1,b*x+a-(a*d-b*c)/d)+(a^4*d^4-4*a^3*b*c*d^3+6*a^2*b^2*c^2*d^2-4*a*b^3*c^3*d+b^4*c^
4)*b^4/d^8*(-1/3*exp(-b*x-a)/(-b*x-a+(a*d-b*c)/d)^3-1/6*exp(-b*x-a)/(-b*x-a+(a*d-b*c)/d)^2-1/6*exp(-b*x-a)/(-b
*x-a+(a*d-b*c)/d)-1/6*exp(-(a*d-b*c)/d)*Ei(1,b*x+a-(a*d-b*c)/d))+6/d^6*(a^2*d^2-2*a*b*c*d+b^2*c^2)*b^4*(-exp(-
b*x-a)/(-b*x-a+(a*d-b*c)/d)-exp(-(a*d-b*c)/d)*Ei(1,b*x+a-(a*d-b*c)/d)))
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} -\frac{a^{4} e^{\left (-a + \frac{b c}{d}\right )} E_{4}\left (\frac{{\left (d x + c\right )} b}{d}\right )}{{\left (d x + c\right )}^{3} d} - \frac{{\left (b^{3} d^{2} x^{4} + 4 \, a b^{2} d^{2} x^{3} + 2 \,{\left (3 \, a^{2} b d^{2} + 2 \, b^{2} c d - 2 \, a b d^{2}\right )} x^{2} + 4 \,{\left (a^{3} d^{2} - b^{2} c^{2} - 3 \, a^{2} d^{2} - 2 \, b c d + 2 \,{\left (2 \, b c d + d^{2}\right )} a\right )} x\right )} e^{\left (-b x\right )}}{d^{6} x^{4} e^{a} + 4 \, c d^{5} x^{3} e^{a} + 6 \, c^{2} d^{4} x^{2} e^{a} + 4 \, c^{3} d^{3} x e^{a} + c^{4} d^{2} e^{a}} - \int -\frac{4 \,{\left (a^{3} c d^{2} - b^{2} c^{3} - 3 \, a^{2} c d^{2} - 2 \, b c^{2} d + 2 \,{\left (2 \, b c^{2} d + c d^{2}\right )} a +{\left (b^{3} c^{3} - 3 \, a^{3} d^{3} + 7 \, b^{2} c^{2} d + 6 \, b c d^{2} + 3 \,{\left (2 \, b c d^{2} + 3 \, d^{3}\right )} a^{2} - 2 \,{\left (2 \, b^{2} c^{2} d + 8 \, b c d^{2} + 3 \, d^{3}\right )} a\right )} x\right )} e^{\left (-b x\right )}}{d^{7} x^{5} e^{a} + 5 \, c d^{6} x^{4} e^{a} + 10 \, c^{2} d^{5} x^{3} e^{a} + 10 \, c^{3} d^{4} x^{2} e^{a} + 5 \, c^{4} d^{3} x e^{a} + c^{5} d^{2} e^{a}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(exp(-b*x-a)*(b*x+a)^4/(d*x+c)^4,x, algorithm="maxima")
[Out]
-a^4*e^(-a + b*c/d)*exp_integral_e(4, (d*x + c)*b/d)/((d*x + c)^3*d) - (b^3*d^2*x^4 + 4*a*b^2*d^2*x^3 + 2*(3*a
^2*b*d^2 + 2*b^2*c*d - 2*a*b*d^2)*x^2 + 4*(a^3*d^2 - b^2*c^2 - 3*a^2*d^2 - 2*b*c*d + 2*(2*b*c*d + d^2)*a)*x)*e
^(-b*x)/(d^6*x^4*e^a + 4*c*d^5*x^3*e^a + 6*c^2*d^4*x^2*e^a + 4*c^3*d^3*x*e^a + c^4*d^2*e^a) - integrate(-4*(a^
3*c*d^2 - b^2*c^3 - 3*a^2*c*d^2 - 2*b*c^2*d + 2*(2*b*c^2*d + c*d^2)*a + (b^3*c^3 - 3*a^3*d^3 + 7*b^2*c^2*d + 6
*b*c*d^2 + 3*(2*b*c*d^2 + 3*d^3)*a^2 - 2*(2*b^2*c^2*d + 8*b*c*d^2 + 3*d^3)*a)*x)*e^(-b*x)/(d^7*x^5*e^a + 5*c*d
^6*x^4*e^a + 10*c^2*d^5*x^3*e^a + 10*c^3*d^4*x^2*e^a + 5*c^4*d^3*x*e^a + c^5*d^2*e^a), x)
________________________________________________________________________________________
Fricas [B] time = 1.59546, size = 1733, normalized size = 4.38 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(exp(-b*x-a)*(b*x+a)^4/(d*x+c)^4,x, algorithm="fricas")
[Out]
-1/6*((b^7*c^7 - 4*(a - 3)*b^6*c^6*d + 6*(a^2 - 6*a + 6)*b^5*c^5*d^2 - 4*(a^3 - 9*a^2 + 18*a - 6)*b^4*c^4*d^3
+ (a^4 - 12*a^3 + 36*a^2 - 24*a)*b^3*c^3*d^4 + (b^7*c^4*d^3 - 4*(a - 3)*b^6*c^3*d^4 + 6*(a^2 - 6*a + 6)*b^5*c^
2*d^5 - 4*(a^3 - 9*a^2 + 18*a - 6)*b^4*c*d^6 + (a^4 - 12*a^3 + 36*a^2 - 24*a)*b^3*d^7)*x^3 + 3*(b^7*c^5*d^2 -
4*(a - 3)*b^6*c^4*d^3 + 6*(a^2 - 6*a + 6)*b^5*c^3*d^4 - 4*(a^3 - 9*a^2 + 18*a - 6)*b^4*c^2*d^5 + (a^4 - 12*a^3
+ 36*a^2 - 24*a)*b^3*c*d^6)*x^2 + 3*(b^7*c^6*d - 4*(a - 3)*b^6*c^5*d^2 + 6*(a^2 - 6*a + 6)*b^5*c^4*d^3 - 4*(a
^3 - 9*a^2 + 18*a - 6)*b^4*c^3*d^4 + (a^4 - 12*a^3 + 36*a^2 - 24*a)*b^3*c^2*d^5)*x)*Ei(-(b*d*x + b*c)/d)*e^((b
*c - a*d)/d) + (b^6*c^6*d - (4*a - 11)*b^5*c^5*d^2 + 6*b^3*d^7*x^3 + 2*(3*a^2 - 16*a + 13)*b^4*c^4*d^3 - 2*(2*
a^3 - 15*a^2 + 22*a - 3)*b^3*c^3*d^4 + 2*a^4*d^7 + (a^4 - 8*a^3 + 12*a^2)*b^2*c^2*d^5 - (a^4 - 4*a^3)*b*c*d^6
+ (b^6*c^4*d^3 - 4*(a - 3)*b^5*c^3*d^4 + 6*(a^2 - 6*a + 6)*b^4*c^2*d^5 - 2*(2*a^3 - 18*a^2 + 36*a - 9)*b^3*c*d
^6 + (a^4 - 12*a^3 + 36*a^2)*b^2*d^7)*x^2 + (2*b^6*c^5*d^2 - (8*a - 23)*b^5*c^4*d^3 + 4*(3*a^2 - 17*a + 15)*b^
4*c^3*d^4 - 2*(4*a^3 - 33*a^2 + 54*a - 9)*b^3*c^2*d^5 + 2*(a^4 - 10*a^3 + 18*a^2)*b^2*c*d^6 - (a^4 - 12*a^3)*b
*d^7)*x)*e^(-b*x - a))/(d^11*x^3 + 3*c*d^10*x^2 + 3*c^2*d^9*x + c^3*d^8)
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(exp(-b*x-a)*(b*x+a)**4/(d*x+c)**4,x)
[Out]
Timed out
________________________________________________________________________________________
Giac [B] time = 1.29438, size = 4180, normalized size = 10.56 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(exp(-b*x-a)*(b*x+a)^4/(d*x+c)^4,x, algorithm="giac")
[Out]
-1/6*(b^7*c^4*d^3*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 4*a*b^6*c^3*d^4*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b
*c/d) + 6*a^2*b^5*c^2*d^5*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 4*a^3*b^4*c*d^6*x^3*Ei(-(b*d*x + b*c)/d)*e
^(-a + b*c/d) + a^4*b^3*d^7*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 3*b^7*c^5*d^2*x^2*Ei(-(b*d*x + b*c)/d)*e
^(-a + b*c/d) - 12*a*b^6*c^4*d^3*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 18*a^2*b^5*c^3*d^4*x^2*Ei(-(b*d*x +
b*c)/d)*e^(-a + b*c/d) - 12*a^3*b^4*c^2*d^5*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 3*a^4*b^3*c*d^6*x^2*Ei(
-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 12*b^6*c^3*d^4*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 36*a*b^5*c^2*d^5*x
^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 36*a^2*b^4*c*d^6*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 12*a^3*b^3
*d^7*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 3*b^7*c^6*d*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 12*a*b^6*c^
5*d^2*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 18*a^2*b^5*c^4*d^3*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 12*a^
3*b^4*c^3*d^4*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 3*a^4*b^3*c^2*d^5*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d)
+ 36*b^6*c^4*d^3*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 108*a*b^5*c^3*d^4*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a +
b*c/d) + 108*a^2*b^4*c^2*d^5*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 36*a^3*b^3*c*d^6*x^2*Ei(-(b*d*x + b*c)/
d)*e^(-a + b*c/d) + 36*b^5*c^2*d^5*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 72*a*b^4*c*d^6*x^3*Ei(-(b*d*x + b
*c)/d)*e^(-a + b*c/d) + 36*a^2*b^3*d^7*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + b^6*c^4*d^3*x^2*e^(-b*x - a)
- 4*a*b^5*c^3*d^4*x^2*e^(-b*x - a) + 6*a^2*b^4*c^2*d^5*x^2*e^(-b*x - a) - 4*a^3*b^3*c*d^6*x^2*e^(-b*x - a) + a
^4*b^2*d^7*x^2*e^(-b*x - a) + b^7*c^7*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 4*a*b^6*c^6*d*Ei(-(b*d*x + b*c)/d)
*e^(-a + b*c/d) + 6*a^2*b^5*c^5*d^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 4*a^3*b^4*c^4*d^3*Ei(-(b*d*x + b*c)/
d)*e^(-a + b*c/d) + a^4*b^3*c^3*d^4*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 36*b^6*c^5*d^2*x*Ei(-(b*d*x + b*c)/d
)*e^(-a + b*c/d) - 108*a*b^5*c^4*d^3*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 108*a^2*b^4*c^3*d^4*x*Ei(-(b*d*x
+ b*c)/d)*e^(-a + b*c/d) - 36*a^3*b^3*c^2*d^5*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 108*b^5*c^3*d^4*x^2*Ei(-
(b*d*x + b*c)/d)*e^(-a + b*c/d) - 216*a*b^4*c^2*d^5*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 108*a^2*b^3*c*d^
6*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 24*b^4*c*d^6*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 24*a*b^3*d^
7*x^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 2*b^6*c^5*d^2*x*e^(-b*x - a) - 8*a*b^5*c^4*d^3*x*e^(-b*x - a) + 12
*a^2*b^4*c^3*d^4*x*e^(-b*x - a) - 8*a^3*b^3*c^2*d^5*x*e^(-b*x - a) + 2*a^4*b^2*c*d^6*x*e^(-b*x - a) + 12*b^5*c
^3*d^4*x^2*e^(-b*x - a) - 36*a*b^4*c^2*d^5*x^2*e^(-b*x - a) + 36*a^2*b^3*c*d^6*x^2*e^(-b*x - a) - 12*a^3*b^2*d
^7*x^2*e^(-b*x - a) + 12*b^6*c^6*d*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 36*a*b^5*c^5*d^2*Ei(-(b*d*x + b*c)/d)
*e^(-a + b*c/d) + 36*a^2*b^4*c^4*d^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 12*a^3*b^3*c^3*d^4*Ei(-(b*d*x + b*c
)/d)*e^(-a + b*c/d) + 108*b^5*c^4*d^3*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 216*a*b^4*c^3*d^4*x*Ei(-(b*d*x +
b*c)/d)*e^(-a + b*c/d) + 108*a^2*b^3*c^2*d^5*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 72*b^4*c^2*d^5*x^2*Ei(-(
b*d*x + b*c)/d)*e^(-a + b*c/d) - 72*a*b^3*c*d^6*x^2*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + b^6*c^6*d*e^(-b*x -
a) - 4*a*b^5*c^5*d^2*e^(-b*x - a) + 6*a^2*b^4*c^4*d^3*e^(-b*x - a) - 4*a^3*b^3*c^3*d^4*e^(-b*x - a) + a^4*b^2*
c^2*d^5*e^(-b*x - a) + 23*b^5*c^4*d^3*x*e^(-b*x - a) - 68*a*b^4*c^3*d^4*x*e^(-b*x - a) + 66*a^2*b^3*c^2*d^5*x*
e^(-b*x - a) - 20*a^3*b^2*c*d^6*x*e^(-b*x - a) - a^4*b*d^7*x*e^(-b*x - a) + 36*b^4*c^2*d^5*x^2*e^(-b*x - a) -
72*a*b^3*c*d^6*x^2*e^(-b*x - a) + 36*a^2*b^2*d^7*x^2*e^(-b*x - a) + 36*b^5*c^5*d^2*Ei(-(b*d*x + b*c)/d)*e^(-a
+ b*c/d) - 72*a*b^4*c^4*d^3*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 36*a^2*b^3*c^3*d^4*Ei(-(b*d*x + b*c)/d)*e^(-
a + b*c/d) + 72*b^4*c^3*d^4*x*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) - 72*a*b^3*c^2*d^5*x*Ei(-(b*d*x + b*c)/d)*e^
(-a + b*c/d) + 11*b^5*c^5*d^2*e^(-b*x - a) - 32*a*b^4*c^4*d^3*e^(-b*x - a) + 30*a^2*b^3*c^3*d^4*e^(-b*x - a) -
8*a^3*b^2*c^2*d^5*e^(-b*x - a) - a^4*b*c*d^6*e^(-b*x - a) + 60*b^4*c^3*d^4*x*e^(-b*x - a) - 108*a*b^3*c^2*d^5
*x*e^(-b*x - a) + 36*a^2*b^2*c*d^6*x*e^(-b*x - a) + 12*a^3*b*d^7*x*e^(-b*x - a) + 24*b^4*c^4*d^3*Ei(-(b*d*x +
b*c)/d)*e^(-a + b*c/d) - 24*a*b^3*c^3*d^4*Ei(-(b*d*x + b*c)/d)*e^(-a + b*c/d) + 26*b^4*c^4*d^3*e^(-b*x - a) -
44*a*b^3*c^3*d^4*e^(-b*x - a) + 12*a^2*b^2*c^2*d^5*e^(-b*x - a) + 4*a^3*b*c*d^6*e^(-b*x - a) + 2*a^4*d^7*e^(-b
*x - a))/(d^11*x^3 + 3*c*d^10*x^2 + 3*c^2*d^9*x + c^3*d^8)